x86/pvh: properly initialize PVH guest's CR3
authorBoris Ostrovsky <boris.ostrovsky@oracle.com>
Mon, 22 Jun 2015 15:52:39 +0000 (17:52 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 22 Jun 2015 15:52:39 +0000 (17:52 +0200)
commit12e88138233f1444388dbc346c5aa6c0a1d45d9f
tree63cd75f7679538a59911a1172acd79400b9a5048
parent57647ee9ccfd0d40c9af8fa0a1787cca182451ec
x86/pvh: properly initialize PVH guest's CR3

.. based on whether the guest is 32- or 64-bit

Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain.c